what is group theory in discrete mathematics